1. Fundamentals of mathematical logic /
پدیدآورنده: Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005


2. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده: / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972


3. Pain in osteoarthritis
پدیدآورنده: / edited by David T. Felson, Hans-Georg Schaible
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Osteoarthritis, Complications,Pain,Osteoarthritis, physiopathology,Pain, therapy
رده :
RC931
.
O67P35
2009


4. Recursion - Theoretic hierarchies
پدیدآورنده: / Peter G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursion theory - Hierarchies
رده :
511
.
3
H664


5. Recursion-Theoretic hierarchies
پدیدآورنده: Peter G. Hinman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
1978


6. Recursion-theoretic hierarchies
پدیدآورنده: Hinman, Peter G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory-- Hierarchies
رده :
QA
9
.
62
.
H56
1978


7. Recursion-theoretic hierarchies
پدیدآورنده: / Peter G. Hinman
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56


8. Recursion-theoretic hierarchies
پدیدآورنده: Hinman, peter G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory,، Hierachies
رده :
QA
9
.
62
.
H56


9. Vaccines /
پدیدآورنده: [edited by] Stanley A. Plotkin, Walter A. Orenstein, and Paul A. Offit
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Vaccines,Immunization Programs,Vaccination,Vaccines
رده :
QR189
P56
2013

